atomic formula中文是什么意思

• 【化学】原子式，结构式。
  

• atomic    adj. 1.原子的。 2.极微的。 3.强大的。
• formula    n. (pl. formulas, -lae ) 1.公 ...
• atomic mass formula    原子质量公式
• by formula    按公式
• the formula    魔头对魔头
• atomic atomic emission spectrometry    原子发射光谱法
• atomic radii(＝atomic radius)    原子半径
• air-atomic    投原子弹
• at atmosphere；atomic    大气层；原子的
• atomar atomic    原子的
• atomic a orption    原子吸收作用
• atomic absorption    原子吸收作用
• atomic abundance    原子丰度
• atomic accelerator    原子加速器; 原子粒子加速器
• atomic action    原子动作原子酌; 原子突击
• atomic adsorption    原子吸附
• atomic age    原子时代。
• atomic aggregate    原子集合体
• atomic aircraft    原子武器飞机
• atomic ammunition    原子弹药
• atomic amplifier    原子放大器
• atomic apparatus    原子核物理仪器; 原子能装置
• atomic arrageement    原子配列
• atomic arrangement    原子排列

• The atomic formula is called atom for short in predicate calculus
  在谓词演算中,有时将原子公式简称为原子。
• Remove irrelevant atomic formulas for timed automaton model checking
  时间自动机的模型检验中消除无关原子约束
• Removing irrelevant atomic formulas for checking timed automata efficiently . in proc
  因此，无关的原子约束是广泛存在的。
• A time constraint is a conjunction of atomic formulas which bound the differences of clock values
  时间自动机是可以用于对实时系统建模的有效工具。
• In this paper , it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency . such atomic formulas are called as irrelevant atomic formulas . a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables
  一个时间自动机是一个五元组n , l 0 , c , e , i ，其中n为一个有穷的位置集合， l 0n是初始状态， c是一个取实数值的时钟变量的有穷集合， e ng c 2 cn是转换的集合。

• atomic formulaとは意味：原子式｛げんし しき｝